Nuprl Definition : ecl-ex 0,22

ecl-ex(x)
== ecl_ind(x;k,test.nil;a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,A.A;a,m,A.A;a,m,A.if m=0
== ecl_ind(x;k,test.nil;a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,A.A;a,m,A.A;a,m,A.if A
== ecl_ind(x;k,test.nil;a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,b,A,B.merge(A;B);a,A.A;a,m,A.A;a,m,A.else s-insert(m;A) fi;a,l,A.A
latex


Definitionsecl ind, nil, merge(as;bs), if b t else f fi, i=j, #$n, s-insert(x;l)
FDL editor aliasesecl-ex

origin